<?php
    session_start();
    if(isset($_SESSION['name'])){
        session_destroy();
        // print "session destroyed";
        header("location:../page/selab_main.php");   
    }
?>